diff -r cd81a7a6e55c -r cb9901076a21 targets/Rtai/target_rtai.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/targets/Rtai/target_rtai.py Wed Aug 20 00:11:40 2008 +0200 @@ -0,0 +1,3 @@ +class rtai_target(targets.target_gcc): + extensionexe = "exe" + extensiondll = "dll"