diff options
Diffstat (limited to 'org.rtems.cdt/src/org/rtems/cdt/Storage.java')
| -rw-r--r-- | org.rtems.cdt/src/org/rtems/cdt/Storage.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.rtems.cdt/src/org/rtems/cdt/Storage.java b/org.rtems.cdt/src/org/rtems/cdt/Storage.java index 8e66571..6f55cd0 100644 --- a/org.rtems.cdt/src/org/rtems/cdt/Storage.java +++ b/org.rtems.cdt/src/org/rtems/cdt/Storage.java @@ -366,7 +366,7 @@ public class Storage { // Filter options if (toolKey.startsWith( Constants.COMPILER_KEY_PREFIX) || toolKey.startsWith( Constants.LINKER_KEY_PREFIX)) { for (String option : options) { - if (!(option.length() == 0 || option.trim().matches( "^-c|-O[0123s]|-g|-W[\\w-]*$"))) { + if (!(option.length() == 0 || option.trim().matches( "^(-c|-O[0123s]|-g.*|-W[\\w-]*|[-]*pipe)$"))) { filteredOptions.add( option); } } |