Planet
navi homePPSaboutscreenshotsdownloaddevelopmentforum

Ignore:
Timestamp:
Nov 21, 2008, 12:36:23 AM (17 years ago)
Author:
rgrieder
Message:

Applied long created patch that removes plugins.cfg and puts the content into orxonox.ini
This also allows to specify the media path for each 'distribution' individually because orxonox.ini has been added to the default files.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • code/branches/buildsystem/bin/CMakeLists.txt

    r2243 r2244  
    1010  SET(CONFIG_FILES ${CONFIG_FILES}
    1111    linux/run-script
    12         tardis/plugins.cfg
     12        tardis/orxonox.ini
    1313  )
    1414
     
    1616  SET(CONFIG_FILES ${CONFIG_FILES}
    1717    linux/run-script
    18         linux/plugins.cfg
     18        linux/orxonox.ini
    1919  )
    2020ENDIF(IS_TARDIS)
     
    2222IF(MINGW)
    2323  SET(CONFIG_FILES ${CONFIG_FILES}
    24     "mingw/plugins.cfg"
     24    "mingw/orxonox.ini"
    2525    "mingw/orxonox.bat"
    2626  )
Note: See TracChangeset for help on using the changeset viewer.