diff options
Diffstat (limited to 'pc/GenMakefileTst.awk')
| -rw-r--r-- | pc/GenMakefileTst.awk | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pc/GenMakefileTst.awk b/pc/GenMakefileTst.awk index 0761a3b2..7fe92885 100644 --- a/pc/GenMakefileTst.awk +++ b/pc/GenMakefileTst.awk @@ -2,11 +2,6 @@ # This program generates pc/Makefile.tst -BEGIN { - # Print the prologue - system("cat Makefile.tst.prologue") -} - # Skip the first part of Makefile.in /Get rid of core files/ { process = 1 } |