Make init cannot find platform id

[hjaensch7]

make init cannot find platform id after it is created in make config. Output:

make  -I/home/vagrant/composite/src --no-print-directory PLATFORM= -C platform init
make -C  clean
make[2]: *** clean: No such file or directory.  Stop.
Makefile:12: recipe for target 'clean' failed
make[1]: *** [clean] Error 2
Makefile:40: recipe for target 'init' failed
make: *** [init] Error 2

Did some debugging with @Others and confirmed that config is running and generating platform id. ZSH may be responsible for this issue.

[Others]

@hjaensch7 Can you try and reproduce this?

[gparmer]

@hjaensch7 Can you reproduce this, and see if make config was not run?h