Hi,
just tried out gnulib-tool, taking the very naive approach:
- (in gnulib/) git checkout pygnulib
- made a commit with this change
- edited project's bootstrap to rename gnulib-tool into gnulib-tool.py
- tried './bootstrap'.
./bootstrap: 920: ./bootstrap: gnulib/gnulib-tool.py: Permission den
Bruno Haible wrote:
+} _gl_max_align_t;
+#define max_align_t _gl_max_align_t
#endif
# endif /* _@GUARD_PREFIX@_STDDEF_H */
This one is not brittle and is not a big change. If Paul agrees, I would commit
this, and you (Werner) would not need to reorganize your package's
configuration.
