diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2022-07-14 16:15:37 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2022-07-14 16:15:37 -0400 |
| commit | 6cafe308c946af7658514ad0e6970cc464554fbb (patch) | |
| tree | 9354e960015fda89087f15808e6573b5ae39e025 /tests/plugins.sh | |
| parent | b585548dfee1bf12c63894c751f1449636e32565 (diff) | |
| parent | ca4d5bee09df0393dd525b3cd5159a23d4683f2e (diff) | |
Merge remote-tracking branch 'upstream/master' into indexed-store-path-outputs
Diffstat (limited to 'tests/plugins.sh')
| -rw-r--r-- | tests/plugins.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/plugins.sh b/tests/plugins.sh index e22bf4408..6e278ad9d 100644 --- a/tests/plugins.sh +++ b/tests/plugins.sh @@ -2,6 +2,11 @@ source common.sh set -o pipefail +if [[ $BUILD_SHARED_LIBS != 1 ]]; then + echo "plugins are not supported" + exit 99 +fi + res=$(nix --option setting-set true --option plugin-files $PWD/plugins/libplugintest* eval --expr builtins.anotherNull) [ "$res"x = "nullx" ] |