Alessandro Rubini authored 12 years ago and Grzegorz Daniluk committed 12 years ago

The ppsi subproject now builds pp_printf by default, so the Makefile here
passes ~CONFIG_NO_PRINTF=y". Also, assign_TimeInternal() is not there
any more because it is just an assignment.

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>