diff options
| author | Vedang Manerikar <ved.manerikar@gmail.com> | 2021-05-30 14:21:01 +0530 |
|---|---|---|
| committer | Vedang Manerikar <ved.manerikar@gmail.com> | 2021-05-30 23:28:22 +0530 |
| commit | 693c31c43eb044bbf1df702e6163d13b066ca404 (patch) | |
| tree | 1422997f75a875a10eb74aaf888ab0311e789aa7 /server/autobuild | |
| parent | 4163cd2597783fa7ed97acde87102652f81b8737 (diff) | |
Clean existing artifacts when executing `pdf-tools-install`
Ensure that existing .o files are deleted properly.
Fixes #16 and politza/pdf-tools#663
Diffstat (limited to 'server/autobuild')
| -rwxr-xr-x | server/autobuild | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/server/autobuild b/server/autobuild index 09a0e49..89a4ccd 100755 --- a/server/autobuild +++ b/server/autobuild @@ -490,10 +490,6 @@ if [ -n "$PKGCMD" ];then echo fi -echo "---------------------------" -echo " Configuring and compiling " -echo "---------------------------" - # Try to be in the correct directory. if which dirname >/dev/null 2>&1; then cd "$(dirname "$0")" || { @@ -502,6 +498,10 @@ if which dirname >/dev/null 2>&1; then } fi +echo "---------------------------" +echo " Configuring and compiling " +echo "---------------------------" + # Create the configure script. if ! [ -f ./configure ]; then assert_program autoreconf @@ -515,8 +515,8 @@ if [ -n "$INSTALL_DIR" ]; then prefix=--bindir=$INSTALL_DIR fi -echo "./configure -q $prefix && make -s" -eval "./configure -q $(quote "$prefix") && make -s || exit_fail" +echo "./configure -q $prefix && make clean && make -s" +eval "./configure -q $(quote "$prefix") && make clean && make -s || exit_fail" echo if [ -n "$INSTALL_DIR" ]; then echo "---------------------------" |