diff options
Diffstat (limited to 'src/test/ui-fulldeps/multiple-plugins.rs')
-rw-r--r-- | src/test/ui-fulldeps/multiple-plugins.rs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/test/ui-fulldeps/multiple-plugins.rs b/src/test/ui-fulldeps/multiple-plugins.rs deleted file mode 100644 index 9af3ebd57..000000000 --- a/src/test/ui-fulldeps/multiple-plugins.rs +++ /dev/null @@ -1,12 +0,0 @@ -// run-pass -// aux-build:multiple-plugins-1.rs -// aux-build:multiple-plugins-2.rs -// ignore-stage1 - -// Check that the plugin registrar of multiple plugins doesn't conflict - -#![feature(plugin)] -#![plugin(multiple_plugins_1)] //~ WARN use of deprecated attribute `plugin` -#![plugin(multiple_plugins_2)] //~ WARN use of deprecated attribute `plugin` - -fn main() {} |