diff options
author | ng0 <ng0@n0.is> | 2019-09-12 15:15:02 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-09-12 15:15:02 +0000 |
commit | d70de547066caa46b28f98670cdd7d6161154381 (patch) | |
tree | c534e648060f19593b2ef4703e54893264527eed | |
parent | 5d5a61dc56228532927a7786375a13d7ae749180 (diff) | |
download | gnurl-d70de547066caa46b28f98670cdd7d6161154381.tar.gz gnurl-d70de547066caa46b28f98670cdd7d6161154381.tar.bz2 gnurl-d70de547066caa46b28f98670cdd7d6161154381.zip |
update sed script
-rwxr-xr-x | aux-gnurl/sed.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux-gnurl/sed.sh b/aux-gnurl/sed.sh index 6d85f4312..605a5eebc 100755 --- a/aux-gnurl/sed.sh +++ b/aux-gnurl/sed.sh @@ -1,6 +1,6 @@ #!/bin/sh -S=$HOME/src/gnunet/gnurl-releases/gnurl +S=$HOME/src/gnunet/gnurl # / # find . -not -iwholename '*.git*' -not -iwholename '*sed.sh*' -type f -print0 | xargs -0 sed -i 's/<curl\/curl.h>/<gnurl\/curl.h>/g' |