[lmi-commits] [lmi] master 5bbe4278 1/4: Offer elaborated 'check_concinnity' target on more tabs

[Greg Chicares]

branch: master
commit 5bbe42784509ba30fb9321358e722eee28159989
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Offer elaborated 'check_concinnity' target on more tabs
---
 tabs/2/startup_script | 3 +++
 tabs/3/startup_script | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/tabs/2/startup_script b/tabs/2/startup_script
index d8485c2e..f409a5f8 100755
--- a/tabs/2/startup_script
+++ b/tabs/2/startup_script
@@ -5,6 +5,7 @@ a='schroot --chroot=lmi'
 b='cd /opt/lmi/src/lmi'
 c='git ls-files --deleted | xargs -t git checkout --'
 d='for z in *(m-1) ; do touch --reference=$z /opt/lmi/free/src/lmi/$z; done'
+e='make $coefficiency LMI_COMPILER=gcc LMI_TRIPLET=x86_64-pc-linux-gnu 
check_concinnity 2>&1 |less -S -N'
 u='eval `ssh-agent`'
 v='ssh-agent $SHELL'
 w='ssh-add ~/.ssh/id_rsa'
@@ -14,6 +15,7 @@ y='ssh-agent -k > /dev/null 2>&1'
 print -rs $b ; echo $b ; eval $b
 print -rs $c ; echo $c
 print -rs $d ; echo $d
+print -rs $e ; echo $e
 # 'ssh-agent' not presently used in chroot:
 #print -rs $u ; echo $u ; eval $u
 # /dev/clipboard is a cygwinism, though GNU/Linux alternatives exist
@@ -28,6 +30,7 @@ unset a
 unset b
 unset c
 unset d
+unset e
 unset u
 unset v
 unset w
diff --git a/tabs/3/startup_script b/tabs/3/startup_script
index e008458e..b7af88db 100755
--- a/tabs/3/startup_script
+++ b/tabs/3/startup_script
@@ -13,6 +13,7 @@ i="make \$coefficiency --output-sync=recurse unit_tests 
build_type=safestdlib 2>
 j='./nychthemeral_test.sh'
 k='make $coefficiency install check_physical_closure 2>&1 | less -S'
 l='make $coefficiency unit_tests unit_test_targets=regex_test.exe 2>&1 | less 
-S'
+m='make $coefficiency LMI_COMPILER=gcc LMI_TRIPLET=x86_64-pc-linux-gnu 
check_concinnity 2>&1 |less -S -N'
 
 print -rs $b ; echo $b ; eval $b
 print -rs $c ; echo $c
@@ -25,6 +26,7 @@ print -rs $i ; echo $i
 print -rs $j ; echo $j
 print -rs $k ; echo $k
 print -rs $l ; echo $l
+print -rs $m ; echo $m
 
 unset a
 unset b
@@ -38,3 +40,4 @@ unset i
 unset j
 unset k
 unset l
+unset m