puts $config_file "void FreeRTOS_SetupTickInterrupt( void );"\r
puts $config_file "#define configSETUP_TICK_INTERRUPT() FreeRTOS_SetupTickInterrupt()\n"\r
puts $config_file "void FreeRTOS_ClearTickInterrupt( void );"\r
- puts $config_file "#define portCLEAR_TICK_INTERRUPT() FreeRTOS_ClearTickInterrupt()\n"\r
+ puts $config_file "#define configCLEAR_TICK_INTERRUPT() FreeRTOS_ClearTickInterrupt()\n"\r
}\r
# end of if $proctype == "ps7_cortexa9"\r
\r