diff options
Diffstat (limited to 'src/configure.sh')
-rwxr-xr-x | src/configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/configure.sh b/src/configure.sh index 04da739..d889828 100755 --- a/src/configure.sh +++ b/src/configure.sh @@ -3,7 +3,7 @@ set -e if [ $@ -a $@ = -standard ]; then - cp Makefile.standard Makefile + cp versions/standard/Makefile Makefile else - cp Makefile.native Makefile + cp versions/native/Makefile Makefile fi |