diff options
Diffstat (limited to 'Projects/makefile')
-rw-r--r-- | Projects/makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Projects/makefile b/Projects/makefile index efff490f1..3b6907ae6 100644 --- a/Projects/makefile +++ b/Projects/makefile @@ -14,6 +14,9 @@ # code. all: + make -C Benito clean + make -C Benito all + make -C Magstripe clean make -C Magstripe all @@ -21,5 +24,6 @@ all: make -C MissileLauncher all %: + make -C Benito $@ make -C Magstripe $@ make -C MissileLauncher $@ |