From b28f19cbf8bb32d23853e52b098d8a9071faca36 Mon Sep 17 00:00:00 2001
From: Per Hedbor <ph@opera.com>
Date: Fri, 19 Nov 1999 23:47:17 +0100
Subject: [PATCH] This file should no longer be needed
Rev: src/post_modules/GTK/make.pike:1.2(DEAD)
---
src/post_modules/GTK/make.pike | 13 -------------
1 file changed, 13 deletions(-)
delete mode 100644 src/post_modules/GTK/make.pike
diff --git a/src/post_modules/GTK/make.pike b/src/post_modules/GTK/make.pike
deleted file mode 100644
index e04ab92525..0000000000
--- a/src/post_modules/GTK/make.pike
+++ /dev/null
@@ -1,13 +0,0 @@
-string process_argv( string from )
-{
- if( from == "wj" ) return 0;
- if( from == "w" ) return 0;
- if( from == "--") return 0;
- if( from == "1") return 0;
- return replace( from , "-g", "" );
-}
-
-int main( int argc, array argv )
-{
- exit(Process.create_process( map( argv[1..], process_argv ) -({0}) )->wait());
-}
--
GitLab