diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-30 20:28:36 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-30 20:28:36 -0700 |
commit | 86d8f1f30dd70f9be457d9855327649a0870a22e (patch) | |
tree | a154b04314f94662327342953cb72aeda69d30da /subx/run | |
parent | eb1d742baf657273aff2317aeb231f76e1c9e1a8 (diff) | |
download | mu-86d8f1f30dd70f9be457d9855327649a0870a22e.tar.gz |
4462
The teensy/ examples have outlived their usefulness, I think.
Diffstat (limited to 'subx/run')
-rwxr-xr-x | subx/run | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/subx/run b/subx/run index b0eac8df..cd484787 100755 --- a/subx/run +++ b/subx/run @@ -7,11 +7,5 @@ then exit 1 fi -if [[ $1 == 'test'* ]] -then - CFLAGS=-g subx run teensy/$1 - exit $? -fi - CFLAGS=-g subx run $1 exit $? |