diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs index 3cdacc1a8..1e2a4ebbe 100644 --- a/scripts/eigen_gen_docs +++ b/scripts/eigen_gen_docs @@ -1,5 +1,8 @@ #!/bin/sh +# TODO : actually exit on exit, currently it only exit from the () +# TODO : display error msg on stderr instead of stdout + # configuration USER='orzel'