Skip to content
Snippets Groups Projects
  1. May 09, 2018
    • Matthias Grob's avatar
      astyle: switch condition to empty string check · 2c56ceec
      Matthias Grob authored
      Thanks to @bkueang 's review comment I switched to an explicit check for
      an empty sting instead of a condition that could be theoretically true
      in other cases and is less readable.
      
      Type "man test" on your terminal to read up what -n stands for.
      2c56ceec
    • Matthias Grob's avatar
      Makefile: fix parameter -e printed by echo · ef7e8856
      Matthias Grob authored
      It seems that on linux only inside a makefile the parameter after the echo
      command gets printed if no single quoted sting comes afterwards so I had
      to switch to single quotes such that I can use the parameter.
      ef7e8856
    • Matthias Grob's avatar
      Makefile: fix color output of makefile echos · 4e139d24
      Matthias Grob authored
      Force interpretation of backslash escapes with the parameter -e of echo.
      Switch to a lighter blue because on certain terminals default blue is
      hard to read on black background.
      4e139d24
    • Matthias Grob's avatar
      astyle: fix display language dependency · 72db7d33
      Matthias Grob authored
      The shell script which checks the style relies on greping for the
      keyword "Formatted" in the output of astyle. But the program has
      localization support and will output in other languages e.g. german.
      This leads to all style checks always succeeding. I only tested this
      on Windows in Cygwin but I can imagine the problem also exists in
      non-english Ubuntu installations.
      
      Solution is the parameter --formatted of astyle which only produces
      any output if there was something to fix. This allows for a display
      language independent condition for an empty string inside the shell
      script.
      72db7d33
    • Beat Küng's avatar
  2. May 08, 2018
  3. May 07, 2018
  4. May 06, 2018
  5. May 05, 2018
  6. May 04, 2018
  7. May 03, 2018
  8. May 02, 2018
  9. May 01, 2018
  10. Apr 30, 2018
  11. Apr 29, 2018
  12. Apr 28, 2018
  13. Apr 27, 2018
  14. Apr 26, 2018
Loading