diff options
Diffstat (limited to 'create_tools/create_minibase.sh')
| -rwxr-xr-x | create_tools/create_minibase.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/create_tools/create_minibase.sh b/create_tools/create_minibase.sh index 9cc45c5..b49bf19 100755 --- a/create_tools/create_minibase.sh +++ b/create_tools/create_minibase.sh @@ -1,7 +1,7 @@ #!/bin/dash SOURCE_DIR=src -MINIBASE_VERSION=0.6.2 +MINIBASE_VERSION=0.7 OUT_DIRECTORY=out @@ -11,7 +11,7 @@ _PWD=`pwd` echo "Unarchive minibase" cd $SOURCE_DIR rm -rf minibase-$MINIBASE_VERSION -unzip minibase.zip +unzip -o minibase.zip cd minibase-$MINIBASE_VERSION ./configure make @@ -19,8 +19,9 @@ make #save result #declare -a allowed_binaries -mkdir ../../$OUT_DIRECTORY/minibase -find ./ -executable -type f | xargs -I {} cp ./{} ../../$OUT_DIRECTORY/minibase +#ls ../../$OUT_DIRECTORY/minibase +#mkdir ../../$OUT_DIRECTORY/minibase +#find ./ -executable -type f | xargs -I {} cp ./{} ../../$OUT_DIRECTORY/minibase echo "Copy minibase to out" |