Update of MIDAS

If, for whatever reason, the installation of MIDAS is stopped, and you want to finish it, you can continue from the point where it was stopped by selecting the option 7 - update MIDAS, from the config menu.

This option is useful to avoid re-compilation of files. For instance, when selecting other packages of MIDAS that were not included in a first selection.

The update procedure also runs in the background and the output is written in the file /midas/98NOV/tmp/update.here_is_a_number.