targets/Rtai/target_rtai.py
author edouard
Thu, 13 Aug 2009 11:37:38 +0200
changeset 379 71c441104cac
parent 203 cb9901076a21
permissions -rwxr-xr-x
Merge with 75ae46b66315975b49ec48574befa094be583fdd
203
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     1
class rtai_target(targets.target_gcc):
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     2
    extensionexe = "exe"
cb9901076a21 Added concepts :
etisserant
parents:
diff changeset
     3
    extensiondll = "dll"