diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-08 18:05:50 -0500 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-08 18:05:50 -0500 |
| commit | e159297cea19edf4fd6301f1129223133e10c5c5 (patch) | |
| tree | 8a2ac02f56c41af575a2c9e780f402ba7ec44356 /dis/runDIS4.sh | |
| parent | a00f8a123978555d1321e9f13637867eaa81ea24 (diff) | |
Delete archaic unsupported DIS runner scripts
These haven't been used since Joshua's PRP.
Diffstat (limited to 'dis/runDIS4.sh')
| -rwxr-xr-x | dis/runDIS4.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/dis/runDIS4.sh b/dis/runDIS4.sh deleted file mode 100755 index 58072a5..0000000 --- a/dis/runDIS4.sh +++ /dev/null | |||
| @@ -1,5 +0,0 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | cat inputs/Neighborhood/in0 | ./neighborhood neighborhood 1 3 Oct19-neighborhoodtest 1 | ||
| 3 | cat inputs/Pointer/in0 | ./pointer pointer 10 3 Oct19-pointertest 1 | ||
| 4 | cat inputs/Transitive/in1 | ./transitive transitive 800 3 Oct19-transitivetest 1 | ||
| 5 | cat inputs/Update/in0 | ./update update 1000 3 Oct19-updatetest 1 | ||