software not rebuilt after gateware change

[danielkucera]

In clean env I run first build:

python3 misoc/targets/papilio_pro.py 
make: Entering directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libcompiler-rt'
 CC       divsi3.o
 CC       modsi3.o
 CC       comparesf2.o
/home/danman/.local/lib/python3.6/site-packages/misoc/software/compiler_rt/lib/builtins/comparesf2.c:85:1: warning: function declaration isn’t a prototype [-Wstrict-prototypes]
 FNALIAS(__cmpsf2, __lesf2);
 ^~~~~~~
 CC       comparedf2.o
/home/danman/.local/lib/python3.6/site-packages/misoc/software/compiler_rt/lib/builtins/comparedf2.c:85:1: warning: function declaration isn’t a prototype [-Wstrict-prototypes]
 FNALIAS(__cmpdf2, __ledf2);
 ^~~~~~~
 CC       negsf2.o
 CC       negdf2.o
 CC       addsf3.o
 CC       subsf3.o
 CC       mulsf3.o
 CC       divsf3.o
 CC       lshrdi3.o
 CC       muldi3.o
 CC       divdi3.o
 CC       ashldi3.o
 CC       ashrdi3.o
 CC       udivmoddi4.o
 CC       floatsisf.o
 CC       floatunsisf.o
 CC       fixsfsi.o
 CC       fixdfdi.o
 CC       fixunssfsi.o
 CC       fixunsdfdi.o
 CC       adddf3.o
 CC       subdf3.o
 CC       muldf3.o
 CC       divdf3.o
 CC       floatsidf.o
 CC       floatunsidf.o
 CC       floatdidf.o
 CC       fixdfsi.o
 CC       fixunsdfsi.o
 CC       clzsi2.o
 CC       ctzsi2.o
 CC       udivdi3.o
 CC       umoddi3.o
 CC       moddi3.o
 CC       ucmpdi2.o
 CC       powidf2.o
 CC       powisf2.o
 CC       mulodi4.o
 CC       floatundisf.o
 CC       floatundidf.o
 CC       extendsfdf2.o
 CC       truncdfsf2.o
 AR       libcompiler-rt.a
make: Leaving directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libcompiler-rt'
make: Entering directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libprintf'
 CC       printf-float.o
 CC       ctype.o
 AR       libprintf-float.a
 CC       printf-nofloat.o
 AR       libprintf-nofloat.a
make: Leaving directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libprintf'
make: Entering directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libbase'
 CC       crt0-lm32.o
 CC       libc.o
 CC       ctype.o
 CC       strtod.o
 CC       qsort.o
 CC       errno.o
 CC       crc16.o
 CC       crc32.o
 CC       id.o
 CC       system.o
 CC       uart.o
 CC       console.o
 CC       time.o
 CC       spiflash.o
 CC       exception.o
 CC       printf.o
 AR       libbase.a
 CC       printf-nofloat.o
 AR       libbase-nofloat.a
make: Leaving directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libbase'
make: Entering directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libnet'
 CC       microudp.o
 CC       tftp.o
 AR       libnet.a
make: Leaving directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/libnet'
make: Entering directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/bios'
 CC       isr.o
 CC       sdram.o
 CC       main.o
 CC       boot-helper-lm32.o
 CC       boot.o
 LD       bios.elf
 OBJCOPY  bios.bin
 MSCIMG   bios.bin
make: Leaving directory '/home/danman/misoc/misoc_basesoc_papilio_pro/software/bios'
. /home/danman/Xilinx/14.7/ISE_DS/common/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/common
. /home/danman/Xilinx/14.7/ISE_DS/EDK/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/EDK
. /home/danman/Xilinx/14.7/ISE_DS/PlanAhead/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/PlanAhead
. /home/danman/Xilinx/14.7/ISE_DS/ISE/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/ISE

and all software is built and then gateware.
Then I change flash_boot_address and run the same again but software is not rebuilt:

$ python3 misoc/targets/papilio_pro.py 
. /home/danman/Xilinx/14.7/ISE_DS/common/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/common
. /home/danman/Xilinx/14.7/ISE_DS/EDK/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/EDK
. /home/danman/Xilinx/14.7/ISE_DS/PlanAhead/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/PlanAhead
. /home/danman/Xilinx/14.7/ISE_DS/ISE/.settings64.sh /home/danman/Xilinx/14.7/ISE_DS/ISE

although header files have changed, at least misoc_basesoc_papilio_pro/software/include/generated/mem.h