]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: Fix some IDE warnings.
authorBruno Haible <bruno@clisp.org>
Tue, 2 Apr 2024 11:38:32 +0000 (13:38 +0200)
committerBruno Haible <bruno@clisp.org>
Tue, 2 Apr 2024 11:38:32 +0000 (13:38 +0200)
* HACKING: Update configuration of warnings.

ChangeLog
HACKING

index 1668b7cfd84f44b4bd7e57e175813986ede1180c..48db28222dd83b80946106f7e821e2565073bccb 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2024-04-02  Bruno Haible  <bruno@clisp.org>
+
+       gnulib-tool.py: Fix some IDE warnings.
+       * HACKING: Update configuration of warnings.
+
 2024-04-01  Bruno Haible  <bruno@clisp.org>
 
        gnulib-tool.py: Add developer documentation.
diff --git a/HACKING b/HACKING
index 119bac8c10d6441130e35ef582760584af892f82..74f298081d62a8737aae3002d7c0bff12793e84f 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -539,6 +539,8 @@ With Eclipse and PyDev as IDE
   - Once installed, restart the IDE.
   - Window > Preferences > PyDev > Interpreters > Python Interpreter:
     New > path: /usr/bin/python3
+  - Window > Preferences > PyDev > Editor > Code Analysis:
+    Others > Redefinition of builtin symbols: Ignore
 
 * Create a project:
   Let GNULIB_DIR be my gnulib checkout.