Must specify at least one package to check builddeps for

diepxuan · May 5, 2024 · 51910fc · 51910fc
1 parent a85852d
commit 51910fc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -105,10 +105,10 @@ jobs:
         if: true
         run: bash ci/push_ppa.sh
       - name: Push to repository
-        if: true
+        if: false
         run: |
           if [ "$(git status --porcelain=v1 2>/dev/null | wc -l)" != "0" ]; then
-            git add src/debian/control
+            # git add src/debian/control
             git commit -m "Update packages from ${{ matrix.operating-system }} at $(date +'%d-%m-%y')" &&
               # git push https://${{ github.repository_owner }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git ${{ github.ref_name }} ||
               git push ||

diff --git a/ci/depends.sh b/ci/depends.sh
@@ -33,6 +33,7 @@ end_group
 start_group "install source depends"
 sudo apt update
 # shellcheck disable=SC2086
+cat $controlin | tee $control
 sudo apt build-dep $INPUT_APT_OPTS -- "$source_dir"
 
 # In theory, explicitly installing dpkg-dev would not be necessary. `apt-get