File indexing completed on 2025-03-16 08:26:25
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 $@