To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

Commit 1968b4ad authored by Paul Beuchat's avatar Paul Beuchat

Added ability for web interface to run catkin make clean

parent 14d29bb2
......@@ -30,6 +30,10 @@
$temp = shell_exec("./bashscripts/catkin_make.sh");
$output = "<pre>$temp</pre>";
}
elseif ($scriptname == "catkin_make_clean") {
$temp = shell_exec("./bashscripts/catkin_make_clean.sh");
$output = "<pre>$temp</pre>";
}
//
// For the LAUNCH tab
elseif ($scriptname == "checkForRosMaster") {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment