Added ignore for files created by catkin_make_isolated

Simply execute `catkin_make_isolated` and `build` and `devel` will have different names, but should be ignored as well.
windclarion · Jan 26, 2018 · 4162c93 · 4162c93
1 parent 22a5eb3
commit 4162c93
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ROS.gitignore b/ROS.gitignore
@@ -13,6 +13,8 @@ msg/*Feedback.msg
 msg/*Goal.msg
 msg/*Result.msg
 msg/_*.py
+build_isolated/
+devel_isolated/
 
 # Generated by dynamic reconfigure
 *.cfgc