diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/bin/compile-db | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bin/compile-db b/src/bin/compile-db index 027609f..acd3a07 100755 --- a/src/bin/compile-db +++ b/src/bin/compile-db @@ -7,7 +7,7 @@ multisubstitute { define LIVEDIR ${2} } -backtick -ED" " OLDDB { realpath -e ${CONFIGDIR}/compiled } +backtick -ED" " OLDDB { realpath ${CONFIGDIR}/compiled } backtick -E DATE { date +%s } elglob SOURCES ${CONFIGDIR}/src/* @@ -24,4 +24,5 @@ if { if { ln -sf compiled-${DATE} ${CONFIGDIR}/../compiled } if { mv -f ${CONFIGDIR}/../compiled ${CONFIGDIR}/ } +if -x0 { eltest ${CONFIGDIR}/compiled != ${CONFIGDIR}/compiled } rm -Rf ${OLDDB} |