cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S
---------------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package coq-simple-io
dpkg-buildpackage: info: source version 1.8.0-3
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
dpkg-source --before-build .
debian/rules clean
dh clean --with coq
dh_auto_clean
make -j8 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
if [ -e Makefile.coq ]; then make -f Makefile.coq cleanall; fi
make[2]: Entering directory '/<<PKGBUILDDIR>>'
CLEAN
CLEAN *.aux *.timing
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f Makefile.coq Makefile.coq.conf *.cmxs
rm -f -r _build/ build/
rm -f deps.dot deps.jpg
rm -f test/*.ml{i,} test/.*.aux
rm -f plugin/compat.ml _CoqProject src/SimpleIO_Plugin.v src/IO_Stdlib.v src/IO_RawChar.v src/IO_String.v src/IO_Filename.v src/IO_Float.v src/IO_Unsafe.v test/TestInt63.v
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-simple-io using existing ./coq-simple-io_1.8.0.orig.tar.gz
dpkg-source: info: local changes detected, the modified files are:
coq-simple-io-1.8.0/plugin/META.coq-simple-io
dpkg-source: error: aborting due to unexpected upstream changes, see /tmp/coq-simple-io_1.8.0-3.diff.eFBSkw
dpkg-source: info: Hint: make sure the version in debian/changelog matches the unpacked source tree
dpkg-source: info: you can integrate the local changes with dpkg-source --commit
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 2
E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 490 |
Nodes: | 16 (1 / 15) |
Uptime: | 71:21:10 |
Calls: | 9,678 |
Calls today: | 2 |
Files: | 13,722 |
Messages: | 6,172,226 |