Commit 076b8503 authored by incardon's avatar incardon

Fixing install Metis

parent 853c9a53
#! /bin/bash
source script/discover_os
discover_os
# check if the directory $1/METIS exist
......
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