diff options
Diffstat (limited to 'Rules.top')
| -rw-r--r-- | Rules.top | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Rules.top b/Rules.top deleted file mode 100644 index c475b19..0000000 --- a/Rules.top +++ /dev/null @@ -1,16 +0,0 @@ - -SUBDIRS = stm32 - - - -.PHONY : tar tar-% -# To get ID from a tar archive just run: -# zcat nonrec-make.tgz | git get-tar-commit-id -tar : tar-HEAD -tar-% : - commit=$(subst tar-,,$@);\ - tarname=z180-stamp-$$(git describe --tags $$commit).tgz;\ - echo Archiving $$commit to $$tarname;\ - git archive $$commit mk | gzip > $$tarname - -# vim: set ft=make : |