diff options
| -rw-r--r-- | gnu/packages/embedded.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/embedded.scm b/gnu/packages/embedded.scm index 6ac1a2d7f3..8b40990ec1 100644 --- a/gnu/packages/embedded.scm +++ b/gnu/packages/embedded.scm @@ -1073,8 +1073,7 @@ the Raspberry Pi chip.")))) (chdir "src") (setenv "PYDEV" (string-append python "/include/python" - ,(version-major+minor (package-version python)) - "m")) + ,(version-major+minor (package-version python)))) #t))) (replace 'install (lambda* (#:key inputs outputs make-flags #:allow-other-keys #:rest args) |