diff options
Diffstat (limited to 'scripts/auto-build')
-rwxr-xr-x | scripts/auto-build/pd-extended-auto-builder.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/auto-build/pd-extended-auto-builder.sh b/scripts/auto-build/pd-extended-auto-builder.sh index 244f0f84..30bcd3a5 100755 --- a/scripts/auto-build/pd-extended-auto-builder.sh +++ b/scripts/auto-build/pd-extended-auto-builder.sh @@ -45,6 +45,8 @@ rsync -a --delete rsync://128.238.56.50/distros/pd-extended/ \ cd "${auto_build_root_dir}/packages/$BUILD_DIR" make -C "${auto_build_root_dir}/packages" set_version make test_locations +ls -l /usr/local/include/stdlib.h || echo no /usr/local/include/stdlib.h +mount make package_clean make install && make package |