1 files changed, 18 insertions, 0 deletions
diff --git a/build b/build
index 58551fdffa024..4eab58e0d3757 100755
--- a/build
+++ b/build
@@ -41,6 +41,12 @@ MYNAME=`IFS=. ; set $IAM ; echo $1`
 case "$IAM" in
  *.udel.edu)
     BDIR=A.$MYNAME
+    CONFIG_ARGS="$CONFIG_ARGS --enable-local-libopts"
+    case "$CVO" in
+     *-*-ultrix*)
+	CONFIG_ARGS="$CONFIG_ARGS --with-libregex=/usr/local"
+	;;
+    esac
     ;;
  *)
     BDIR=A.$CVO
@@ -58,6 +64,18 @@ case "$CONFIG_ARGS" in
     ;;
 esac
 
+case "$CONFIG_ARGS" in
+ *--disable-all-clocks*)
+    KEYSUF="$KEYSUF-no-refclocks"
+    ;;
+esac
+
+case "$CONFIG_ARGS" in
+ *--disable-debugging*)
+    KEYSUF="$KEYSUF-nodebug"
+    ;;
+esac
+
 CCSUF=""
 
 case "$CC" in