gnublin

[projects.git] / tools / make / configure

diff --git a/tools/make/configure b/tools/make/configure
index cb61a7585cb21a41847c3c4c32e96bf36121d3da..f4541ba64201b91988572132690795f8785a06e0 100755 (executable)
--- a/tools/make/configure
+++ b/tools/make/configure
@@ -23,6 +23,19 @@ build=$2
 ARCH=""
 cpp_build=0
 
+shift 2
+while getopts "b:a:" opt
+do
+       case $opt in
+       a) ARCH=$OPTARG
+               ;;
+       b) echo "branching not implemented"
+               ;;
+       *) exit 1
+               ;;
+       esac
+done
+
 # checkout build utilities
 if [ ! -d projects ]; then
        git clone https://github.com/wagner-tech/projects/