diff options
| author | FreeArtMan <dos21h@gmail.com> | 2020-06-27 18:28:40 +0100 |
|---|---|---|
| committer | FreeArtMan <dos21h@gmail.com> | 2020-06-27 18:28:40 +0100 |
| commit | d8a4544b619c72ab5716c669e21e8d2c68ee5c56 (patch) | |
| tree | 1b6687f192be87a0a81af0614492806c21148367 | |
| parent | 1cfff42d7eb23b69510c95ae42bddf8829d84a92 (diff) | |
| download | os201-d8a4544b619c72ab5716c669e21e8d2c68ee5c56.tar.gz os201-d8a4544b619c72ab5716c669e21e8d2c68ee5c56.zip | |
Update minibase
| -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" |