diff options
Diffstat (limited to 'etc/config/rust.defaults.properties')
| -rw-r--r-- | etc/config/rust.defaults.properties | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/etc/config/rust.defaults.properties b/etc/config/rust.defaults.properties deleted file mode 100644 index 8d04d8447..000000000 --- a/etc/config/rust.defaults.properties +++ /dev/null @@ -1,18 +0,0 @@ -compilers=rustc -supportsBinary=true -compilerType=rust -demangler=c++filt -demanglerArgs=--format=rust -objdumper=objdump -stubRe=\bmain\b -stubText=pub fn main() {/*stub provided by Compiler Explorer*/} -binaryHideFuncRe=^(_.*|call_gmon_start|(de)?register_tm_clones|frame_dummy|.*@plt.*)$ - -# short form of `--version --verbose` -versionFlag=-vV - - -################################# -################################# -# Installed libs (See c++.amazon.properties for a scheme of libs group) -libs= |