[Warzone2100-commits] [Warzone2100/warzone2100] 0ad9c4: When configuring debug builds with gcc, use -ggdb ...

[per <pe...@wz...>]

  Branch: refs/heads/master
  Home:   https://github.com/Warzone2100/warzone2100
  Commit: 0ad9c4d1fb3a56d8e8c5e99f09971c16e768aeaf
      https://github.com/Warzone2100/warzone2100/commit/0ad9c4d1fb3a56d8e8c5e99f09971c16e768aeaf
  Author: per <pe...@wz...>
  Date:   2013-12-31 (Tue, 31 Dec 2013)

  Changed paths:
    M configure.ac

  Log Message:
  -----------
  When configuring debug builds with gcc, use -ggdb for compatibility with the
linux perf tool. Also add -fno-omit-frame-pointer for the optimised debug
builds for the same reason.


  Commit: 9954fdaebf91f87169ab15d775836e13af035f48
      https://github.com/Warzone2100/warzone2100/commit/9954fdaebf91f87169ab15d775836e13af035f48
  Author: per <pe...@wz...>
  Date:   2013-12-31 (Tue, 31 Dec 2013)

  Changed paths:
    A tools/conversion/ini2json/conv_all.sh
    A tools/conversion/ini2json/ini2json_generic.py
    A tools/conversion/ini2json/ini2json_research.py

  Log Message:
  -----------
  Add tools to convert ini files to JSON format.


Compare: https://github.com/Warzone2100/warzone2100/compare/73952c9756a1...9954fdaebf91