Commit 46ee4870 authored by Marco Bartolini's avatar Marco Bartolini
Browse files

added production option to build scripts

parent 921fbc07
Loading
Loading
Loading
Loading
+11 −1
Original line number Diff line number Diff line
#!/bin/bash

PRODUCTION=""
while getopts "p" opt; do
    case $opt in
      p)
        echo "compiling in production mode"
        PRODUCTION="DEBUG=''"
        ;;
    esac
done

source ~/.bashrc
rm -rf $INTROOT
mkdir -p $INTROOT
getTemplateForDirectory INTROOT $INTROOT
cd SystemMake
make common-clean common-build
make $PRODUCTION common-clean common-build
+11 −1
Original line number Diff line number Diff line
#!/bin/bash

PRODUCTION=""
while getopts "p" opt; do
    case $opt in
      p)
        echo "compiling in production mode"
        PRODUCTION="DEBUG=''"
        ;;
    esac
done

source ~/.bashrc
if [ ! -d "$INTROOT" ]; then
    echo "cannot find INTROOT in $INTROOT"
    exit 1
fi
cd SystemMake
make telescope-clean telescope-build
make $PRODUCTION telescope-clean telescope-build