minor fixes

2021-10-11 19:02:13 -07:00
parent 4a4498cd53
commit 1cd833d2c4
11 changed files with 43 additions and 42 deletions
--- a/ci/prebuilt.sh
+++ b/ci/prebuilt.sh
@@ -3,9 +3,13 @@
 # exit when any command fails
 set -e

-OS_DIR=ubuntu/bionic
-SRCDIR=/opt
-DESTDIR=.
+OS_DIR=${OS_DIR:-'ubuntu/bionic'}
+SRCDIR=${SRCDIR:-'/opt'}
+DESTDIR=${DESTDIR:-'.'}
+
+echo "OS_DIR=${OS_DIR}"
+echo "SRCDIR=${SRCDIR}"
+echo "DESTDIR=${DESTDIR}"

 riscv() 
 {