diff --git a/configure.in b/configure.in index f3e69abd6..6ce17ba6e 100644 --- a/configure.in +++ b/configure.in @@ -74,44 +74,31 @@ SED=${SED-sed} try_gp2ddb=false -msg_gp2ddb="no" - -# check whether this is a certain developer's machine -mysum="$( (hostname; cat /proc/cpuinfo) | md5sum | cut -d" " -f1 )" -while read testsum; do - if test "$testsum" = "mysum"; then - try_gp2ddb=true - msg_dp2ddb="yes (developer machine detected)" - break - fi -done<