Gast
#2759845
hi, wie kann ich aus dem Makefile heraus prüfen ob $PATH einen bestimmten Eintrag hat? Falls nicht, möchte ich default Verzeichnis setzten. Wie würde das aussehen? zB für Tool splint Hintergrund: Die Umgebung ist cygwin, daher liegen viele Tools (alle die nicht mit cygwin kommen) nicht in $PATH. Gruß, Daniel