diff options
| -rw-r--r-- | patches/vim/no-timers.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/patches/vim/no-timers.patch b/patches/vim/no-timers.patch new file mode 100644 index 00000000..a51ebd85 --- /dev/null +++ b/patches/vim/no-timers.patch @@ -0,0 +1,18 @@ +diff -ru vim-9.0.0234.orig/src/feature.h vim-9.0.0234/src/feature.h +--- vim-9.0.0234.orig/src/feature.h 2022-08-21 11:40:07.000000000 +0200 ++++ vim-9.0.0234/src/feature.h 2022-10-08 01:45:47.482619953 +0200 +@@ -288,12 +288,14 @@ + /* + * +reltime reltime() function + */ ++#ifndef __midipix__ + #if defined(FEAT_NORMAL) \ + && defined(FEAT_EVAL) \ + && ((defined(HAVE_GETTIMEOFDAY) && defined(HAVE_SYS_TIME_H)) \ + || defined(MSWIN)) + # define FEAT_RELTIME + #endif ++#endif + + /* + * +timers timer_start() |