diff options
| author | David Aspinall | 2001-05-08 12:59:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-08 12:59:10 +0000 |
| commit | 1bde75af63a31cf623d2a5cf4f30962d9cd28cac (patch) | |
| tree | 4bc96c02693c26dc4d9274b70492ec87f376b0bd | |
| parent | b8fd9ff433b9b37cc4acd1207fa3a59c6999533e (diff) | |
Add a line to clear out build root.
| -rw-r--r-- | etc/ProofGeneral.spec | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 84fe4826..fed6d923 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -35,6 +35,7 @@ you run Emacs. %setup %build +[ -n "${RPM_BUILD_ROOT}" ] && rm -rf ${RPM_BUILD_ROOT} %install mkdir -p ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral |