diff options
| author | Palmer Dabbelt | 2016-03-05 20:27:04 -0800 |
|---|---|---|
| committer | Palmer Dabbelt | 2016-03-05 20:28:15 -0800 |
| commit | 8ae6ece99dfadb8d3dd25acc3549a975e3c40bbc (patch) | |
| tree | dfad79a3cb75db1047bdb3a2ddff263f9806dbaa /utils | |
| parent | f098a7bc756fe38a446ef8cd1a6b74856d2e348e (diff) | |
Fix the stanza wrapper for Travis
The printf call you're making doesn't appear to be standard, so I've
replaced it with something else.
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/stanza-wrapper | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/stanza-wrapper b/utils/stanza-wrapper new file mode 100755 index 00000000..10c8b204 --- /dev/null +++ b/utils/stanza-wrapper @@ -0,0 +1,3 @@ +#!/bin/bash + +eval '@@TOP@@/src/lib/stanza/stanza' -platform linux "$@" |
