-
olaf michaelis authored
Modify make file slight, because my editor trims white spaces at the end of lines, change default restart policy to always
6bce5546
Modify make file slight, because my editor trims white spaces at the end of lines, change default restart policy to always