search

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
https://iccl.inf.tu-dresden.de/web/Formale_Systeme
44 stars 14 forks source link

fix: improve build.sh portability #32

Closed bennofs closed 6 years ago

bennofs commented 6 years ago

echo does not support escape sequences such as "\n" on all systems (it fails on ArchLinux for example). Switching to printf solves this.