kdevelop: use curl instead make

rgruner · Nov 6, 2019 · 94512ef · 94512ef
1 parent 4c0ea48
commit 94512ef
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/scripts/develop.sh b/scripts/develop.sh
@@ -23,6 +23,8 @@ fi
 if [ -z "${DESTDIR}" ]
 then
     DESTDIR=.
+else
+    mkdir -p ${DESTDIR}
 fi
 
 SRC_URL=$(grep "^Source0:" "${SPECFILE}" | cut -f 2- -d ':' | tr -d " ")
@@ -33,7 +35,11 @@ SRC_VER=${SRC_DIR#*-}
 if [ ! -f ${SRC_FILE} ]
 then
     # Get upstream sources
-    make sources
+    if ! curl --fail -LO ${SRC_URL}
+    then
+        echo >&2 "Cannot download ${SRC_FILE}"
+        exit 3
+    fi
 fi
 
 echo $(sha1sum ${SRC_FILE} | cut -d\  -f1)/${SRC_FILE} > upstream.check