diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 57dd13a7bf0dfd6e53bcf0ac499abbb08b95af61..d51a4833fc5e0545a966958aa7e8771568442f99 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,6 +8,9 @@ before_script: test: script: + - echo $SHELL + - PS1='\w \$ ' + - which time - cd cmucl - bin/build.sh -B boot-2017-04-1 -C "" -o ../snapshot/bin/lisp - bin/make-dist.sh -I dist-linux linux-4