1 files changed, 0 insertions, 33 deletions
diff --git a/Lib/plat-linux/regen b/Lib/plat-linux/regen
deleted file mode 100755
index 10633cb..0000000
--- a/Lib/plat-linux/regen
+++ /dev/null
@@ -1,33 +0,0 @@
-#! /bin/sh
-case `uname` in
-Linux*|GNU*)	;;
-*)	echo Probably not on a Linux system 1>&2
-	exit 1;;
-esac
-if [ -z "$CC" ]; then
-    echo >&2 "$(basename $0): CC is not set"
-    exit 1
-fi
-headers="sys/types.h netinet/in.h dlfcn.h"
-incdirs="$(echo $($CC -v -E - < /dev/null 2>&1|awk '/^#include/, /^End of search/' | grep '^ '))"
-if [ -z "$incdirs" ]; then
-    incdirs="/usr/include"
-fi
-for h in $headers; do
-    absh=
-    for d in $incdirs; do
-	if [ -f "$d/$h" ]; then
-	    absh="$d/$h"
-	    break
-	fi
-    done
-    if [ -n "$absh" ]; then
-	absheaders="$absheaders $absh"
-    else
-	echo >&2 "$(basename $0): header $h not found"
-	exit 1
-    fi
-done
-
-set -x
-${H2PY:-h2py} -i '(u_long)' $absheaders