From 1ef95f1db54a98c344d19f0b8ba5567bf47876ce Mon Sep 17 00:00:00 2001 From: Ivan Mikushin Date: Thu, 6 Aug 2015 11:36:11 +0500 Subject: [PATCH] fix scripts/ci --- scripts/ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci b/scripts/ci index 701c99a3..b8188b50 100755 --- a/scripts/ci +++ b/scripts/ci @@ -9,4 +9,4 @@ fi docker build -t ros-build-base -f Dockerfile.base . docker build -t ros-build . -./scripts/docker-run.sh make -f Makefile.docker dist +./scripts/docker-run.sh make -f Makefile.docker build-all