--- src/install.c~ 2003-08-09 18:46:45.000000000 +0100
+++ src/install.c 2004-03-27 18:38:45.000000000 +0000
@@ -516,7 +516,14 @@
strip (const char *path)
{
int status;
- pid_t pid = fork ();
+ pid_t pid;
+ char *strip_name;
+
+ strip_name = getenv ("STRIP");
+ if (strip_name == NULL)
+ strip_name = "strip";
+
+ pid = fork ();
switch (pid)
{
@@ -524,7 +531,7 @@
error (EXIT_FAILURE, errno, _("fork system call failed"));
break;
case 0: /* Child. */
- execlp ("strip", "strip", path, NULL);
+ execlp (strip_name, "strip", path, NULL);
error (EXIT_FAILURE, errno, _("cannot run strip"));
break;
default: /* Parent. */
m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-58643691-1', 'auto');
ga('send', 'pageview');
blob: e5d712e7234a57510d1cef42a2b9046c3e51114f (
plain)