diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 18:50:38 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 20:12:37 -0400 |
| commit | 73c7a1b7087e519972ded4d83c6362ddeae83798 (patch) | |
| tree | 3f60f443e27cb1e68661458af9fcd4a5fa184da8 | |
| parent | 5d20910b93da145ff16a811dd50a9fdba33fa27d (diff) | |
Patched Package CI script.rocq-wip
* package-ci.bash: Passing the -p argument to patch-checklist.bash
Change-Id: I4a410c7b31bab36cf9e46068bfac28f9a049f817
| -rw-r--r-- | package-ci.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package-ci.bash b/package-ci.bash index c35b2fa86bf..ad9512cfc12 100644 --- a/package-ci.bash +++ b/package-ci.bash @@ -46,5 +46,5 @@ cd $TMP git clone $REPO cd guix git checkout $BRANCH -guix shell --pure -m manifest.scm -- bash patch-checklist.bash +guix shell --pure -m manifest.scm -- bash patch-checklist.bash -p $PACKAGE trap "rm -rf $TMP* 2>EXIT" 0 |