diff options
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index e23b682dd07b9..bcd41abceab6b 100644 --- a/release/Makefile +++ b/release/Makefile @@ -431,10 +431,12 @@ release.7: fi && shift && shift ; \ done .endif - ( test -d ${RD}/dists/des && cd ${RD}/dists/src && \ +.if exists(${RD}/dists/des) + ( cd ${RD}/dists/src && \ if [ -f ssecure.aa ] ; then mv ssecure.* ../des ; fi && \ if [ -f scrypto.aa ] ; then mv scrypto.* ../des ; fi && \ if [ -f skerbero.aa ] ; then mv skerbero.* ../des ; fi ; ) +.endif @echo "src distribution is finished." .endif touch release.7 |