diff options
Diffstat (limited to 'pipeline/build.sh')
| -rwxr-xr-x | pipeline/build.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pipeline/build.sh b/pipeline/build.sh index e4eac9c..72c9b11 100755 --- a/pipeline/build.sh +++ b/pipeline/build.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # Build every reader, every library and every writer, in both languages. # # Each project is its own flake and builds on its own. The library has no @@ -19,8 +19,10 @@ build() { # <directory> [flake output] } failed=0 -build "$OCDA_LIB/dlang" .#ocda-dump -build "$OCDA_LIB/dlang" .#ocda-agree +# the library's programs: ocda-read, ocda-dump and ocda-agree, one build, one +# result/bin. Built as two, into the one result link, the second replaced the +# first, and the dump this pipeline reads was not there. +build "$OCDA_LIB/dlang" build "$OCDA_LIB/gleam" build "$SSP_READER/dlang" build "$SSP_READER/gleam" |