From 119a79809d295dcde85b7f53ad3fb1bffd8261a9 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Sat, 2 Sep 2017 13:53:35 -0700
Subject: [PATCH] Add some debugging stuff.

 - Print out the SHELL
 - Set prompt to include PWD
 - Where is `time` and why can't the shell find it?
---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 57dd13a7b..d51a4833f 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
-- 
GitLab