tree 0129959983044f18535b1ac7e065adeeb3486609
parent 034b30ccd1e024fc3cb56f0c91551510640491a9
author Deaddy <wunderlich@uni-muenster.de> 1545992604 +0100
committer Zesstra <zesstra@zesstra.de> 1546174832 +0100

check von ueberall rufbar

Vorher war check nur mittels ./check aus dem etwaigen Verzeichnis
rufbar, jetzt kann man sich check woanders hinlegen und bspw. sich den
Ordner in den $PATH schreiben oder nen Symlink in einen Ordner im $PATH
anlegen.

Change-Id: Ie5df7c41f9e2704970434fd622c013e28485c883