diff options
Diffstat (limited to '')
-rwxr-xr-x | Prebuild/scripts/makefile.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Prebuild/scripts/makefile.sh b/Prebuild/scripts/makefile.sh new file mode 100755 index 0000000..2e656cb --- /dev/null +++ b/Prebuild/scripts/makefile.sh | |||
@@ -0,0 +1,10 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | ./prebuild /target makefile /file ../prebuild.xml /pause | ||
4 | |||
5 | if [ -f ../Makefile ] | ||
6 | then | ||
7 | rm -rf ../Makefile | ||
8 | fi | ||
9 | |||
10 | mv ../Prebuild.make ../Makefile | ||