File tree 3 files changed +12
-0
lines changed
3 files changed +12
-0
lines changed Original file line number Diff line number Diff line change 1
1
#! /usr/bin/env sh
2
2
3
+ # Programming Language Technology (Chalmers DAT151 / GU DIT231)
4
+ # (C) 2022-24 Andreas Abel
5
+ # All rights reserved.
6
+
3
7
if [ " $1 " == " " -o " $1 " == " -h" -o " $1 " == " --help" ]; then
4
8
echo " PLT lab 3 testsuite runner"
5
9
echo " usage: $0 [OPTIONS] DIRECTORY"
Original file line number Diff line number Diff line change 1
1
#! /usr/bin/env sh
2
2
3
+ # Programming Language Technology (Chalmers DAT151 / GU DIT231)
4
+ # (C) 2022-24 Andreas Abel
5
+ # All rights reserved.
6
+
3
7
if [ " $1 " == " " -o " $1 " == " -h" -o " $1 " == " --help" ]; then
4
8
echo " PLT lab 3 testsuite runner"
5
9
echo " usage: $0 [OPTIONS] DIRECTORY"
Original file line number Diff line number Diff line change 1
1
#! /usr/bin/env sh
2
2
3
+ # Programming Language Technology (Chalmers DAT151 / GU DIT231)
4
+ # (C) 2022-24 Andreas Abel
5
+ # All rights reserved.
6
+
3
7
if [ " $1 " == " " -o " $1 " == " -h" -o " $1 " == " --help" ]; then
4
8
echo " PLT lab 3 testsuite runner"
5
9
echo " usage: $0 [OPTIONS] DIRECTORY"
You can’t perform that action at this time.
0 commit comments