Created
February 20, 2018 15:55
-
-
Save v6ak/42b6ae1c45d7f51e39f3c58e44cd141f to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
# safety settings | |
set -u | |
set -e | |
set -o pipefail | |
# It seems that GrokAssembly (or maybe rather Mono is to blame) adds sometimes some garbage to the output, so it has to be filtered out. | |
# You can use this as a fake mono by adjusting property analyzer.assembly.mono.path. | |
# See https://groups.google.com/forum/#!topic/dependency-check/Axlwi5MOaJE for more details. | |
executable_orig=$1 | |
shift | |
mono "$executable_orig" "$@" | sed 's#</assembly>.*#</assembly>#' |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment