From d8a4544b619c72ab5716c669e21e8d2c68ee5c56 Mon Sep 17 00:00:00 2001 From: FreeArtMan Date: Sat, 27 Jun 2020 18:28:40 +0100 Subject: Update minibase --- create_tools/create_minibase.sh | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'create_tools') 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" -- cgit v1.2.3