Downcase testbench name in work directory name
This commit is contained in:
parent
0d3468277f
commit
fa05283d68
@ -683,7 +683,8 @@
|
||||
(work (mkdtemp (format "~a/~a~a-~a-~a-XXXXXX"
|
||||
base WORK_DIR_PREFIX
|
||||
makefile-name
|
||||
(string-map (lambda (c) (if (char-whitespace? c) #\_ c)) name)
|
||||
(string-map (lambda (c) (if (char-whitespace? c) #\_ c))
|
||||
(string-downcase name))
|
||||
(current-time)))))
|
||||
;; Execute test
|
||||
(let* ((p #f)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user