diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-07-06 23:01:06 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-07-06 23:12:36 -0700 |
| commit | 21b5cf52e2e31e26529d9b47fc6fafdf88a73f75 (patch) | |
| tree | 8e4c6652e02f32c4f962fe2ad1f08b053f3e24dc /subx/g2 | |
| parent | eca07d6a6bb155947fda25d12e3067dfb25d9abf (diff) | |
| download | mu-21b5cf52e2e31e26529d9b47fc6fafdf88a73f75.tar.gz | |
4315
Diffstat (limited to 'subx/g2')
| -rwxr-xr-x | subx/g2 | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/subx/g2 b/subx/g2 deleted file mode 100755 index 03b356f3..00000000 --- a/subx/g2 +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env zsh -# Run git commands on a specific example's generated binary. - -if [ $# -eq 0 ] -then - echo "g <git command> <args> <suffix>" - exit 1 -fi - -arg=( $* ) -suffix=$arg[${#arg[@]}] -unset "arg[${#arg[@]}]" - -git ${arg[@]} ./teensy/test$suffix |