[Paparazzi-devel] make failed after updating#2

[Chris]

I did install a fresh copy of the master and reapplied my changes mainly 
to conf.xml and it worked just once, when i did "make clean" and "make" 
again i got the below error at the end of the build:

luftboot.c: In function 'main':
luftboot.c:481:9: note: #pragma message: Luftboot using 12MHz external 
clock to PLL it to 72MHz.
 #pragma message "Luftboot using 12MHz external clock to PLL it to 72MHz."
         ^~~~~~~
  CC      luftboot.elf
  create  luftboot.bin
  create  luftboot.hex
GENERATE ../../var/include/mavlink
error: Your local changes to the following files would be overwritten by 
checkout:
    AEAD_Poly1305_64.c
    Hacl_Ed25519.c
    Makefile
Please, commit your changes or stash them before you can switch branches.
Aborting
Unable to checkout 'bca1a10ddc9bf6844b8b3ab1f895070523edd149' in 
submodule path 'sw/ext/hacl-c'
Makefile:46: recipe for target 'hacl-c.update' failed
make[1]: *** [hacl-c.update] Error 1
Makefile:172: recipe for target 'ext' failed
make: *** [ext] Error 2