File indexing completed on 2024-05-05 05:45:57 

0001 #!/bin/sh
0002 set -e
0003 set -x
0004 
0005 do_build() {
0006     mkdir -p out
0007     local RES=0
0008     sdcc -mpic14 -p16f84 --use-non-free pic_blink.c -o out/pic_blink || RES=$?
0009     echo "Result code: $RES"
0010     return "$RES"
0011 }
0012 
0013 main() {
0014     local SCRIPTDIR="$( dirname "$0" )"
0015     local LOGFILE="$( basename "$0" ).log"
0016     ( cd "$SCRIPTDIR"
0017       echo "start $0 at $( date )"
0018       do_build $@
0019       echo "done $0 at $( date )"
0020     ) 2>&1 | tee -a "$LOGFILE"
0021 }
0022 
0023 main $@