2017-08-28 20:58:09 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
2018-04-25 20:59:49 -07:00
|
|
|
# Run this from the desk.acc directory
|
|
|
|
|
2017-08-28 20:58:09 -07:00
|
|
|
set -e
|
2018-11-25 21:16:39 -08:00
|
|
|
source "../res/util.sh"
|
2017-08-28 20:58:09 -07:00
|
|
|
|
2017-09-06 21:33:22 -07:00
|
|
|
#do_make clean
|
|
|
|
do_make all
|