diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/=__ify | 12 | ||||
| -rwxr-xr-x | scripts/printsources | 29 |
2 files changed, 0 insertions, 41 deletions
diff --git a/scripts/=__ify b/scripts/=__ify deleted file mode 100755 index 017d909a1a..0000000000 --- a/scripts/=__ify +++ /dev/null @@ -1,12 +0,0 @@ -for func in $*; do - for file in `find sysdeps -name "${func}.c"`; - do - script=/tmp/foo$$; - ( echo "%s/${func}/__&/g"; - echo x )>$script ; - ex $file <$script ; - newfile=`echo $file | sed "s/${func}/__&/"`; - mv $file $newfile; - echo $newfile; - done -done diff --git a/scripts/printsources b/scripts/printsources deleted file mode 100755 index 062b837c5a..0000000000 --- a/scripts/printsources +++ /dev/null @@ -1,29 +0,0 @@ -#! /bin/csh -f - -# -# Prints all the files given as arguments. -# Files that will fit on less than a printed page -# are concatenated together. Bigger ones are pr'd. -# - - -set tocat='' topr='' - -foreach file ($*) - set lines=`wc -l $file | sed "s/$file//"` - if ($lines > 40) then - set topr=($topr $file) - else - set tocat=($tocat $file) - endif -end - - -if ("$topr" != '') pr $topr - -if ("$tocat" != '') foreach file ($tocat) - echo -n "==================== $file ======================" - cat $file -end - -exit 0 |