build/pkgs/sage_conf/spkg-install: Don't source sage-env, as it is sourced already by the build/make/Makefile rule

Author: Matthias Koeppe

build/pkgs/sage_conf/spkg-install

@@ -1,11 +1,12 @@
 #! /usr/bin/env bash
-# From sage-spkg
-for lib in "$SAGE_ROOT/build/bin/sage-dist-helpers" "$SAGE_SRC/bin/sage-env" ; do
-    source "$lib"
-    if [ $? -ne 0 ]; then
-        echo >&2 "Error: failed to source $lib"
-        echo >&2 "Is $SAGE_ROOT the correct SAGE_ROOT?"
-        exit 1
-    fi
-done
+# From sage-spkg.
+# For type=script packages, the build rule in build/make/Makefile sources
+# sage-env but not sage-dist-helpers.
+lib="$SAGE_ROOT/build/bin/sage-dist-helpers"
+source "$lib"
+if [ $? -ne 0 ]; then
+    echo >&2 "Error: failed to source $lib"
+    echo >&2 "Is $SAGE_ROOT the correct SAGE_ROOT?"
+    exit 1
+fi
 cd $SAGE_ROOT/build/pkgs/sage_conf/src && sdh_pip_install .