error on missing profile

This commit is contained in:
Brian Gough 2020-06-10 11:42:07 +01:00
parent 8464ce33a1
commit 6c98c7af4a

View file

@ -87,10 +87,11 @@ if (process.env.DOCKER_RUNNER) {
JSON.parse(require('fs').readFileSync(seccompProfilePath)) JSON.parse(require('fs').readFileSync(seccompProfilePath))
) )
} catch (error) { } catch (error) {
console.log( console.error(
error, error,
`could not load seccom profile from ${seccompProfilePath}` `could not load seccomp profile from ${seccompProfilePath}`
) )
process.exit(1)
} }
module.exports.path.synctexBaseDir = () => '/compile' module.exports.path.synctexBaseDir = () => '/compile'