diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-01-18 01:06:24 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-01-18 01:07:31 +0100 |
commit | 1ffa7090b99dfd2f54fa883929c5e78d7852657a (patch) | |
tree | 1c8bd191e31212e172b3e9158408cccd571a5020 /distro/packages/patches/gawk-shell.patch | |
parent | 08ba7ff318720d926215de83daed0da628908ca3 (diff) | |
download | guix-1ffa7090b99dfd2f54fa883929c5e78d7852657a.tar guix-1ffa7090b99dfd2f54fa883929c5e78d7852657a.tar.gz |
distro: Change the module name space to (gnu ...).
* distro: Rename to...
* gnu: ... this. Update module names accordingly.
* Makefile.am: Adjust accordingly.
* po/POTFILES.in: Likewise.
* distro.scm: Search for files under /gnu/packages instead of
/distro/packages.
* gnu/packages/base.scm (ld-wrapper-boot3): Likewise.
Diffstat (limited to 'distro/packages/patches/gawk-shell.patch')
-rw-r--r-- | distro/packages/patches/gawk-shell.patch | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/distro/packages/patches/gawk-shell.patch b/distro/packages/patches/gawk-shell.patch deleted file mode 100644 index 89b8540a8d..0000000000 --- a/distro/packages/patches/gawk-shell.patch +++ /dev/null @@ -1,34 +0,0 @@ -As for libc's `system', change Awk to look for `sh' in $PATH. This patch is -only meant to be used during bootstrapping, where we don't know in advance the -absolute file name of `sh'. - ---- gawk-4.0.0/io.c 2011-05-18 20:47:29.000000000 +0200 -+++ gawk-4.0.0/io.c 2012-12-18 15:56:06.000000000 +0100 -@@ -1759,7 +1759,7 @@ two_way_open(const char *str, struct red - - signal(SIGPIPE, SIG_DFL); - -- execl("/bin/sh", "sh", "-c", str, NULL); -+ execlp("sh", "sh", "-c", str, NULL); - _exit(errno == ENOENT ? 127 : 126); - - case -1: -@@ -1924,7 +1924,7 @@ use_pipes: - || close(ctop[0]) == -1 || close(ctop[1]) == -1) - fatal(_("close of pipe failed (%s)"), strerror(errno)); - /* stderr does NOT get dup'ed onto child's stdout */ -- execl("/bin/sh", "sh", "-c", str, NULL); -+ execlp("sh", "sh", "-c", str, NULL); - _exit(errno == ENOENT ? 127 : 126); - } - #endif /* NOT __EMX__ */ -@@ -2074,7 +2074,7 @@ gawk_popen(const char *cmd, struct redir - fatal(_("moving pipe to stdout in child failed (dup: %s)"), strerror(errno)); - if (close(p[0]) == -1 || close(p[1]) == -1) - fatal(_("close of pipe failed (%s)"), strerror(errno)); -- execl("/bin/sh", "sh", "-c", cmd, NULL); -+ execlp("sh", "sh", "-c", cmd, NULL); - _exit(errno == ENOENT ? 127 : 126); - } - #endif /* NOT __EMX__ */ - |