diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-12-16 22:02:06 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-12-16 22:02:06 +0100 |
| commit | 1643dd0a57bb4c813da8e79916621ae59ad3d19b (patch) | |
| tree | 5ee279bc8f38f7c8fdaf50e1239761fd8d937e19 /ci/script.sh | |
| parent | 5b032243e63e230c504d52ad85d4f275adf1d58d (diff) | |
actually, don't check the output of the cfg example
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ci/script.sh b/ci/script.sh index 27229a5..0244c58 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -68,8 +68,6 @@ main() { generics ramfunc - - cfg ) for ex in ${exs[@]}; do |