diff options
| author | Birte Kristina Friesel <derf@finalrewind.org> | 2025-05-14 09:52:18 +0200 |
|---|---|---|
| committer | Birte Kristina Friesel <derf@finalrewind.org> | 2025-05-14 09:52:18 +0200 |
| commit | 5048479cd345233f2ba33ad335dbf44d007d95bf (patch) | |
| tree | 8bf5dd99b39268937f2a84f14adc26b57735f446 /set-root-dir.sh | |
| parent | c36996e5ca4ea047e55778004a99d9f7cad9282f (diff) | |
Remove (no longer valid) upstream benchmark scripts; update README accordingly
Diffstat (limited to 'set-root-dir.sh')
| -rwxr-xr-x | set-root-dir.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/set-root-dir.sh b/set-root-dir.sh deleted file mode 100755 index 35be69f..0000000 --- a/set-root-dir.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -sed -i 's!rootdir = "/"!rootdir = "'"$(pwd)"'"!' *.py |