diff --git a/nix/default.nix b/nix/default.nix index 0cdac75225474e2de277e3c1c7b6900747eea42d..00ff4cb5399776d1ec0de09935e05d5c4d620a15 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -229,7 +229,7 @@ rec { sed -i src/plugins/pathcrawler/extern/eclipseCLP/RUNME -e "s/chmod 2755/chmod 755/g" rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/dbi_mysql.so rm src/plugins/pathcrawler/extern/eclipseCLP/lib/x86_64_linux/ic.so - prefix="src/plugins/pathcrawler" autoPatchelf + autoPatchelf src/plugins/pathcrawler make -j 4 ln -sr src/plugins/pathcrawler/share share/pc make tests -j4 PTESTS_OPTS="-error-code -j 4"