mirror of
git://git.gnupg.org/gnupg.git
synced 2025-04-17 15:44:34 +02:00
speedo: "make clean-gnupg" may not remove the source.
* build-aux/speedo.mk (clean-$(1)): Take care of gnupg. -- I learned it the hard way and lost a bunch of stashed changes.
This commit is contained in:
parent
2480b02531
commit
c029a184d6
@ -735,7 +735,11 @@ clean-$(1):
|
||||
(cd "$$$${pkgbdir}" 2>/dev/null && \
|
||||
$(MAKE) --no-print-directory \
|
||||
$$$${pkgmkargs_inst} uninstall V=0 ) || true ;\
|
||||
rm -fR "$$$${pkgsdir}" "$$$${pkgbdir}" || true)
|
||||
if [ "$(1)" = "gnupg" ]; then \
|
||||
rm -fR "$$$${pkgbdir}" || true ;\
|
||||
else \
|
||||
rm -fR "$$$${pkgsdir}" "$$$${pkgbdir}" || true;\
|
||||
fi)
|
||||
-rm -f $(stampdir)/stamp-final-$(1) $(stampdir)/stamp-$(1)-*
|
||||
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user