diff --git a/etc/config.csh/settings b/etc/config.csh/settings
index bceb2500d9..f7cf4020c3 100644
--- a/etc/config.csh/settings
+++ b/etc/config.csh/settings
@@ -89,7 +89,7 @@ case Linux:
         setenv WM_CFLAGS '-fPIC'
         setenv WM_CXXFLAGS '-fPIC -std=c++0x'
         setenv WM_LDFLAGS ''
-        ;;
+        breaksw
 
     case ppc64:
         setenv WM_ARCH linuxPPC64