From f47353a6b099431409ce840db34f6b4b64221ad4 Mon Sep 17 00:00:00 2001 From: dnt <unknown> Date: Tue, 26 Nov 1996 13:02:03 +0000 Subject: [PATCH] [project @ 1996-11-26 13:02:03 by dnt] --- ghc/glue_TAGS_files.prl | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 ghc/glue_TAGS_files.prl diff --git a/ghc/glue_TAGS_files.prl b/ghc/glue_TAGS_files.prl deleted file mode 100644 index a53a78d35a9c..000000000000 --- a/ghc/glue_TAGS_files.prl +++ /dev/null @@ -1,28 +0,0 @@ -#! /usr/local/bin/perl -# -# glue all the (e)TAGS files named on the command line -# into one big TAGS file here; main task: unrelativize the -# file names. -# -open (TAGS, "> TAGS") || die "can't open TAGS file for writing\n"; - -foreach $f (@ARGV) { - open(INF, "< $f") || die "can't open $f for reading\n"; - $f =~ s/\/?TAGS$//; - - while (<INF>) { - print TAGS $_; - next if ! /^\f$/; - - # otherwise, next line is filename; de-relativise it - $_ = <INF>; - die "unexpected file line:$_" if /^\f/ || /\x7f/; # sanity check - if (/^\//) { # absolute already; do nothing... - print TAGS $_; - } else { - print TAGS "$f/$_"; - } - } - close(INF); -} -close(TAGS); -- GitLab