diff options
Diffstat (limited to 'make-for-local')
-rwxr-xr-x | make-for-local | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/make-for-local b/make-for-local new file mode 100755 index 0000000..e196831 --- /dev/null +++ b/make-for-local @@ -0,0 +1,8 @@ +#!/bin/sh +# +# make-for-local +# +# Run this first if you want to use these static makefiles + +cp src/makefile.static src/makefile +cp prog/makefile.static prog/makefile |