diff deploy/linux/docker/Dockerfile_deb.in @ 2119:914ddb643616

Fix some typos in deb scripts
author Chris Cannam
date Wed, 21 Nov 2018 11:55:01 +0000
parents f69819b5c248
children 295b6a146f1c
line wrap: on
line diff
--- a/deploy/linux/docker/Dockerfile_deb.in	Wed Nov 21 11:41:54 2018 +0000
+++ b/deploy/linux/docker/Dockerfile_deb.in	Wed Nov 21 11:55:01 2018 +0000
@@ -53,5 +53,5 @@
 RUN ./configure
 RUN make -j3
 
-RUN deploy/linux/deploy-deb.sh [[RELEASE]]cc1-1 amd64
+RUN deploy/linux/deploy-deb.sh [[RELEASE]] amd64
 RUN tar cvf output-deb.tar *.deb && cp output-deb.tar ..