Added config to snavig.pl to specify GNU sed.

diff --git a/src/misc/snavig.pl b/src/misc/snavig.pl
index f92fb160623335ae97b341a09c551c70f5a233ef..054d53e065bca024feb627e40d28697988bb3306 100755 (executable)
--- a/src/misc/snavig.pl
+++ b/src/misc/snavig.pl
@@ -60,6 +60,8 @@ my $target;
 my @sources;
 my @inputfiles;
 
+my $sed = "sed";
+#my $sed = "gsed";  # You actually need GNU sed, so if you're on MacOS...
 my $sedfile = "urbzig.sed";
 my $sedinplace = "-i.bak";
 
@@ -166,7 +168,7 @@ sub transform_symbols {
        my ($dir, @junk) = @_;
 
        chdir $dir;
-       `sed $sedinplace -f $sedfile *.c *h`;
+       `$sed $sedinplace -f $sedfile *.c *h`;
        unlink glob("*.bak");
        chdir $topdir;
 }