envsetup: dopush: fix finding files to be pushed with ninja

Change-Id: I27b4e62d08dcd2a6dc95519197c6284c8c44636d
Signed-off-by: Marc K <morckx@gmail.com>
1 file changed