Skip to content

Commit 35aef91

Browse files
authored
Merge pull request #14 from cmsc430/crook
crook
2 parents 2514a2c + 619e39a commit 35aef91

File tree

5 files changed

+5
-5
lines changed

5 files changed

+5
-5
lines changed

extort-plus/build-runtime.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
(unless (system (string-append "make -C '"
88
(path->string (normalize-path here))
9-
"' -s runtime.o"))
9+
"' --no-print-directory -s runtime.o"))
1010
(error 'build-runtime "could not build runtime"))
1111

1212
(define runtime-path

fraud-plus/build-runtime.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
(unless (system (string-append "make -C '"
88
(path->string (normalize-path here))
9-
"' -s runtime.o"))
9+
"' --no-print-directory -s runtime.o"))
1010
(error 'build-runtime "could not build runtime"))
1111

1212
(define runtime-path

hoax-plus/build-runtime.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
(unless (system (string-append "make -C '"
88
(path->string (normalize-path here))
9-
"' -s runtime.o"))
9+
"' --no-print-directory -s runtime.o"))
1010
(error 'build-runtime "could not build runtime"))
1111

1212
(define runtime-path

iniquity-plus/build-runtime.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
(unless (system (string-append "make -C '"
88
(path->string (normalize-path here))
9-
"' -s runtime.o"))
9+
"' --no-print-directory -s runtime.o"))
1010
(error 'build-runtime "could not build runtime"))
1111

1212
(define runtime-path

knock-plus/build-runtime.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66

77
(unless (system (string-append "make -C '"
88
(path->string (normalize-path here))
9-
"' -s runtime.o"))
9+
"' --no-print-directory -s runtime.o"))
1010
(error 'build-runtime "could not build runtime"))
1111

1212
(define runtime-path

0 commit comments

Comments
 (0)