Using -s /dev/stdin will add a dependency on it, and /dev/stdin is always considered newer than the synthesis output. Just use multiple -p options. Signed-off-by: Sean Anderson <seanga2@gmail.com>