irmp-10kHz: irmp.c irmp.h irmpconfig.h irmpsystem.h irmpprotocols.h
cc -Wall -DF_INTERRUPTS=10000 irmp.c -o irmp-10kHz
+irmp-11718Hz: irmp.c irmp.h irmpconfig.h irmpsystem.h irmpprotocols.h
+ cc -Wall -DF_INTERRUPTS=11718 irmp.c -o irmp-11718Hz
+
irmp-15kHz: irmp.c irmp.h irmpconfig.h irmpsystem.h irmpprotocols.h
cc -Wall -DF_INTERRUPTS=15000 irmp.c -o irmp-15kHz