Re: [MiNT] Set of patches for current release

[Miro Kropacek <miro.kropacek@gmail.com>]

> There's no point in doing it in the Makefile then, we might as well just
> make a script which I already have. So no, sorry I don't agree with what
> you have.
Yes you have but when I asked if it's possible to adjust it, you
suggested to make a new target (probably you've got more complex thing
in mind but I couldn't know that).

> No hacks are needed from what I can see. We just need to update
> Makefiles accordingly.
strip $(wildcard .compile_*/mint*.prg) isn't a hack? It has three
things hardcoded (build dir, target names and target paths) and
there's no way how to determine path/names from upper layers.
Remember, current build chain depends only on one thing -- if TARGET
== empty string, leave directory else pass 'make' arguments and
execute new 'make'.

> Then update the Makefiles.
Too much work for me ATM :(

> I certainly don't want to modify Makefiles like this. You might as well
> shift the entire diff to a separate shell script instead and we can
> commit a new file.
I have absolutely no problem with this solution. My goal was to make
quick release tree, not showing how cool I am in shell scripting or
how clean patches I'm able to deliver.

Are you going to provide output of my script on your server so others
can review / comment it? I don't care about a form, really, I just
wanted to make a release more user friendly, nothing more.

-- 
MiKRO / Mystic Bytes
http://mikro.atari.org