index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-03-22 15:00:44 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-22 15:00:44 +0100 |
commit | d6ac133a9b477c2b6d606937033d9bc47b5c1aef (patch) | |
tree | 826feac4ca2bbe90589efa93a093a5f9c845779c /bin | |
parent | 60e7e5a033f0069624bab1754a794e82ec105818 (diff) |
-rwxr-xr-x | bin/return-assignment | 2 |
diff --git a/bin/return-assignment b/bin/return-assignment index b66244b..02bd491 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -196,7 +196,7 @@ if [ "$5" = 'ERROR' ]; then ' | \ tr ' ' '\n' | \ sed ' - s/^/-p ^haskell-/ + s/^/-p ^\\(haskell-\\)\\?/ s/-[0-9.]\+$/\$/ ' | \ sort -u |