diff options
| author | Sam Nystrom <sam@samnystrom.dev> | 2023-08-16 16:27:37 -0400 |
|---|---|---|
| committer | Sam Nystrom <sam@samnystrom.dev> | 2023-08-16 16:27:37 -0400 |
| commit | 2eb1774f3f30ee3e766ac73a6df037b62cd56d07 (patch) | |
| tree | c63f10996c182cfcf1a5c4a3144361f787a58648 /srtplay.do | |
| parent | 277fa45fd3d6bd80842660460ce978a01d286ced (diff) | |
Replace haredo with make
Make is much more widely available.
Diffstat (limited to 'srtplay.do')
| -rw-r--r-- | srtplay.do | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/srtplay.do b/srtplay.do deleted file mode 100644 index 849b759..0000000 --- a/srtplay.do +++ /dev/null @@ -1,3 +0,0 @@ -if haredo ++ *.ha; then - hare build -o "$3" . -fi |