The error message is:
"The character whose number is 13 is not a Boot character"
ASCII char number 13 is '\r', which is part of windows line ending.
First, current BOOT compiler does not recognize this character.
Shall we treat it properly?
Second, how did this bug happen?
It is said that on Windows, the "git for windows" will by default
transform text file from linux line ending to windows line ending.
So, apart from the above issue, shall we add file ".gitattributes" with:
* text=auto eol=lf
Or something else, see `man gitattributes`.
- Qian
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/890df524-8279-fb7c-13f1-b5deb1d67586%40gmail.com.
