diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-08-07 22:45:06 +0200 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-08-13 01:06:38 +0200 |
| commit | db55d55e5c36c940986f437d26da1ff3c601c3b4 (patch) | |
| tree | 0ecec5b2bd0b0bc6a02981a7c3b9ccafbb891c3b /bootstrap | |
| parent | 0b5d0622e11c1f919ce660893067d3121e2583a0 (diff) | |
Make a better client API
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ autoreconf -vif || exit 1 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1 ## Prepare the man pages -SCRIPTS_THAT_GET_EXECUTED="../src/disfluid ../src/disfluid-example-app" +SCRIPTS_THAT_GET_EXECUTED="../src/disfluid" mkdir -p .native || exit 1 cd .native || exit 1 |