more debug

Author: matthiaskrgr

.github/driver.sh

@@ -31,9 +31,19 @@ diff normalized.stderr tests/ui/cstring.stderr
 SYSROOT=`rustc --print sysroot`
 diff <(LD_LIBRARY_PATH=${SYSROOT}/lib ./target/debug/clippy-driver --rustc --version --verbose) <(rustc --version --verbose)
 
+
+echo "start debug"
+
+sleep 4
 pwd
 ls
+sleep 4
 
+file ./target/debug/clippy-driver
+file ./tests/driver/main.rs
+whereis rustc
+sleep 5
+echo "end debug"
 # we can't run 2 rustcs on the same file at the same time
 CLIPPY=`LD_LIBRARY_PATH=${SYSROOT}/lib ./target/debug/clippy-driver ./tests/driver/main.rs --rustc`
 RUSTC=`rustc ./tests/driver/main.rs`