diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-15 12:12:20 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-11-15 12:12:20 +0000 |
commit | 5bde8aa3510e9ae572146d3f82d8c4c5e0f2df1a (patch) | |
tree | 6ed281fcc71113451c472c57237611821e5827ea /runtime/POSIX/testing-env | |
parent | f755e643e22cfcad5ebd95c88f02afe1044c1597 (diff) | |
download | klee-5bde8aa3510e9ae572146d3f82d8c4c5e0f2df1a.tar.gz |
Removed testing-env file. As for testing-dir that was removed in a
prior patch, this is part of the CU experiments and doesn't really belong here.
Diffstat (limited to 'runtime/POSIX/testing-env')
-rw-r--r-- | runtime/POSIX/testing-env | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/runtime/POSIX/testing-env b/runtime/POSIX/testing-env deleted file mode 100644 index 5a6e8eb8..00000000 --- a/runtime/POSIX/testing-env +++ /dev/null @@ -1,27 +0,0 @@ -# This file is sourced prior to running the testing environment, make -# sure to quote things. - -export TERM="xterm" -export SHELL="/bin/bash" -export LS_COLORS="no=00:fi=00:di=01;34:ln=01;36:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.gz=01;31:*.bz2=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.avi=01;35:*.fli=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.flac=01;35:*.mp3=01;35:*.mpc=01;35:*.ogg=01;35:*.wav=01;35:" -export PATH="/usr/local/bin:/usr/bin:/bin" -export COLORTERM="gnome-terminal" -export LC_ALL=C -export TABSIZE=8 -export COLUMNS=80 - -# 1 BLOCK_SIZE -# 2 COLUMNS -# 1 DF_BLOCK_SIZE -# 1 DU_BLOCK_SIZE -# 1 HOME -# 1 LS_BLOCK_SIZE -# 1 LS_COLORS -# 11 POSIXLY_CORRECT -# 1 QUOTING_STYLE -# 3 SHELL -# 4 SIMPLE_BACKUP_SUFFIX -# 1 TABSIZE -# 2 TERM -# 2 TIME_STYLE -# 4 TMPDIR |